Carrier(r/d) == x,y:|r|//((d(x +r (-r(y))))) 

latex

Up	rings 1
Wellformedness Lemmas	quot ring car wf
Definitions	|r|, b, x f y, +r, -r